#ifndef __AMP_TASK_H__
#define __AMP_TASK_H__

#include "ipcc.h"
#include "openamp.h"

#include "cmsis_os2.h"
#include "FreeRTOS.h"
#include "task.h"
#include "queue.h"
#include "semphr.h"

#ifdef __cplusplus
extern "C" {
#endif

extern osThreadId_t ampTaskHandle;
extern const osThreadAttr_t ampTask_attributes;
void amptask(void *argument);

#ifdef __cplusplus
}
#endif

#endif  /* __AMP_TASK_H__ */


